Ñ Open Prolog no longer relies on the file Syserrs.Err for error information - instead, this data has been incorporated into Open Prolog itself. Remove it from your System Folder if no other applications use it.
ÑÑ Bug Fixes
Ñ Fixed a bug which initialised the predicates in a PRLX resource in the wrong order. This bug only has an effect if the predicates share common data structures - what is supposed to be the first predicate to be initialised (and hence the one to allocate the shared storage) was actually being initialised last. Oops. Sorry... Now, the predicates are initialised in ascending numerical order, as advertised.
- 1.0d41
ÑÑ New Features
Ñ Implemented abs/1, meaning 'absolute value' as an evaluable function.
Ñ A new built-in predicate 'get$prolog$error$message'/2 is implemented. Give it an Open Prolog error code and it returns a message. OP error codes start at -32767 and work upwards towards 0.
Ñ The built-in predicate 'get$error$message'/2 has been renamed to 'get$host$error$message'. First argument is a Mac error code, second will be the error message atom.
ÑÑ Bug Fixes
Ñ Fixed a bug in the External Predicate interface which prevented writestr, writelnstr and errorstr messages from being output.
- 1.0d40 & 1.0d39 - bug fix releases only
ÑÑ Bug Fixes
Ñ Two stupid bugs introduced in 38 have been removed. One affected retract/1, the other caused problems when tracing an unknown predicate.
- 1.0d38
ÑÑ New Features & Improvements
Ñ Open Prolog is now 32-bit clean.
ÑÑ Bug fixes
Ñ Restrictions on maximum character size of a clause, and on the 'depth' or complexity of a term being read have been relaxed.
- 1.0d37
ÑÑ New Features & Improvements
Ñ \(X) added to arithmetic functions, meaning bitwise not.
Ñ bagof/3 and setof/3 have been implemented according to the ISO Prolog Draft (except for type and mode checks).
Ñ catch-and-throw exception handling has been implemented.
The ISO Prolog Draft of March 27 1992 describes a method - catch-and-throw - of handling exceptional conditions that originate either with a user's program or with the system. Open Prolog now implements the catch/3 and throw/1 predicates as specified in the draft. User programs can use catch and throw for their own exception handling.
The ISO draft has two alternative schemes for handling exceptions due to errors in built-in predicates. Since the draft was written, another scheme has come to prominence, and a version of that is implemented. Please refer to the document entitled 'Exception Handling' for more information.
Ñ The ISO Prolog built-in predicates once/1 and fail_if/1 have been implemented. The predicate once(X) is as if defined by once(X) :- call(X),!., and fail_if(X) is exactly the same as not(X).
Ñ Finally, after many requests - the built-in \= has been built in (!).
Ñ not/1 has been speeded up - now it's as fast as \+.
Ñ printing is a little nicer - 36-point borders all round, printer permitting.
Ñ External Predicate interface revised and improved (see separate document). If you have written any external predicates of your own, you'll need to recompile them with the new interface and library files.
ÑÑ Bug fixes
Ñ errors resulting from the stack running out of space during a deep unification, usually as a result of an occur check violation, have been trapped and cause an error to be thrown.
Ñ a deep-seated bug in the garbage collector fixed. It seems this bug only shows up in Mac Pluses running System 6.
Ñ lots of clicking & typing while Open Prolog was starting up would upset it - fixed.
Ñ if you tried to print while the About Open Prolog╔ window was open anywhere (even when hidden), the system hung up.
Ñ yet another low-memory bug fixed.
Ñ command-. for aborting execution has been improved. Sometimes it didn't work, say when a long term was being written to the screen. Now, it always stops execution, but it doesn't say what predicate was executing at the time. Instead a message of the form error(user_interrupt,_) is thrown. At present, the second argument is an empty list. It will change in future, and external predicates will put information here if they are likewise stopped.
Ñ an operator taking a conjunction of arguments should be written with a space between it and the bracket starting the conjunction. This was not being done, and has now been fixed. Example: not((a,b,c)) should be written: not (a,b,c), rather than not(a,b,c) which looks like a functor called not with arity 3.
Ñ various little bugs in the debugger cleaned up.
Ñ actions called from Open Prolog Startup or Open Prolog Options could not be interrupted with command-(.). Fixed.
Ñ a bug which caused Open Prolog to put one character at the end of an empty file when the file was simply opened and closed has been fixed. What was happening was that Open Prolog was trying to discover its access priviliges to the file by writing the first byte back out. If the file was empty, the byte was bogus and wasn't being removed.
Ñ a bug in the code for ! caused two kinds of problems occasionally when \+ or -> was used. A symptom of the first problem was a 'tr error' message or a straightforward crash. A symptom of the second error was that a 'tr error' or crash would occur after aborting from a program which used \+ or ->. Fixed.
Ñ printing sometimes hung up due to a faulty memory requester. Fixed.
Ñ a formatting infelicity when listing a disjunction of goals has been repaired.
Ñ a bug in the DCG parser has been fixed which caused a fatal diagnostic error
whenever a Definite Clause containing a disjunction was to be translated.
Ñ a bug in read/1, get/1 and get0/1 has been fixed. The bug occured
when the term or character read from the input stream couldn't
unify with the argument supplied.
When unification fails like that, the predicate should have failed, but
because of the bug, the call succeeded.
The bug has been fixed.
Ñ spy, nospy and spying were invisible! - fixed
Ñ listing always returned a bogus error - fixed
Ñ a parsing bug occured where a postfix operator of more that 1000 was incorrectly used. Instead of reporting the error, the parser crashed. - fixed.
- 1.0d36
ÑÑ New features:
(Summary: ; -> \+ and ┬ implemented fully; print/1 improved; trace/1 rewritten with spy points)
Ñ disjunction (';'/2), if-then ('->'/2), if-then-else, and \+ now work properly with respect to cuts, and conform to the ISO Prolog draft. They are also considerably faster than before.
Ñ The symbol ┬ (i.e. option-l) is acceptable instead of \+ . This use of ┬ is not standard,
so programs using ┬ won't work on other Prologs without modification.
Ñ print/1 has been revised to call portray/1 recursively on arguments. Before, it used only called portray/1 at the top level.
The trace handler and the top-level loop now uses print/1 to output arguments, so you can modify their behaviour by writing specialised portray/1 handlers.
Ñ trace/1 has been substantially rewritten to handle control calls properly. It's also prettier.
The control calls are ;/2 \+/1 ,/2 -> (i.e. disjunction, negation, conjunction, if-then and if-then-else).
The revised trace handler also supports a limited form of spying.
The trace handler is a specialised interpreter, written in Prolog, to interpret Prolog programs. It has been built 'for comfort and not for speed', and it is about twenty times slower than normal. In addition, tail recursion has to be switched off for debugging, so stacks can easily overflow during debugging.
Five new built-ins and one new hook are associated with trace/1.
-> spy(Predicate) This sets the trace handler to stop when the predicate is encountered. If your are tracing through code, you can switch off debug listing (using 'leap'), until a spy point is encountered. A spy point is almost identical to a breakpoint in a conventional language debugger.
-> nospy(Predicate) This removes the 'spy point' from this predicate.
-> spying. This lists the predicates that are currently marked with spy points.
-> useDebugWindow(OldWindow,NewWindow) NewWindow should be set to the name of a window in which the tracing information should be displayed, or enter 'no' if you want to use the Worksheet.
By default, a window called 'Open Prolog Debug Window' is used.
-> leash(Port,OldState,NewState). The ports are call, exit, redo and fail. If leashing is on then the trace will stop to allow you to enter a command. If leashing is off, the trace information will be written and tracing will continue without a break.
By default, leashing is on at all four ports.
-> debugStartAction is an optional predicate which will be executed at the start of a trace, after the trace window (if any) has been opened. You could use if, for example, to write out the date and time when debugging started, by defining the following clause in your startup or options file:
debugStartAction :-
'system$seconds'(S),
'system$date'(S,D),
'system$time'(S,T),
nl,
write(D),
write(', '),
write(T),
nl.
Ñ a new built-in 'get$error$string'(Number,Atom) has been added. If Number is a Macintosh-generated error number, then Atom will be unified with the error message.
ÑÑ Bug Fixes:
Ñ if the worksheet is already open, it can't get the message out -- fixed.
Ñ unnecessary debug message if stackAdjust is called by accessCode -- removed
Ñ current_op/3 didn't work if either of first two arguments were instantiated -- fixed
Ñ fixed bugs in clause/2 so that it obeys the 'logical' semantics of assert and retract,
and so that gc will be done properly taking account of alternatives still
under consideration in clause/2.
Ñ local stack usage reduced a little by cleaning up more thoroughly after built-ins.
Ñ fixed a bug in clause/2 which occasionally caused in a crash after a gc, or else a frame number to be returned as a goal (thereby crashing the trace/1 debugger).
Ñ fixed a bug in compare/3 so that it unifies the first argument with the correct atoms for <, > or =. Previously it used functors </2, >/2 and =/2. They looked the same but weren't.
Ñ fixed a bug in trace/1 which caused it to ignore cuts being traced (trace has been revised - see above).
Ñ fixed a bug in retract/1 which caused, say, retract((t:-X)) not to work with a clause like t:-a,b,c. This was because all variables in the tail were converted into call(_) before looking for a clause to retract, giving retract((t:-call(Y)) for the example above, which is clearly wrong. retract/1 now works properly on backtracking. It used to skip every second elegible clause, or something like that. In fact, retract/1 was very weird.
Ñ fixed a bug in 'system$menu'/10 so that special characters (e.g. /) are not interpreted in a menu name.
Ñ abolish/2 now removes normal and external predicates only. Hitherto it could also remove bips!
Ñ listing/1 generates an error message when presented with an unusable argument.
- 1.0d35
Ñ External Predicates: New eventsVersion number due to internal changes incompatible with previous versions. If you have built your own external predicates, you'll need to recompile them with the new 'prlx definitions' file. If you forget to, you'll get messages saying some external predicates have been disabled.
Ñ Alerts were disabled before the worksheet came up, causing the system to hang if it tried to display an error message on startup.
Ñ Accepts as input numeric strings of the form N'MMMMM where N is a base, from 2 to 9, and M is the number to that base. Not much error checking is done! Doesn't accept 0x... for hex, nor 0'c for char code yet.
Ñ Consult & reconsult now have hooks to term_expansion/2. Every time a term (e.g. a clause) is read during consult or reconsult, it is first passed to term_expansion(Term,ExpandedTerm) for possible expansion. You can add user defined expansion code here by writing your own term_expansion/2 predicate. For speed, it is important that the first argument is not just a variable, but is the skeleton of the kind of term that can be handled - this way, time won't be wasted calling your term_expansion code on every clause. The expanded output can include DCG forms, as it is passed through the DCG expander before finally being asserted.
Ñ Major bug fix in assert assembler. (How can such a bad bug stay in a system so long?) This bug may have been responsible for crashes during extended use of the debugger, and for crashes when the clause/2 bip is used as a clause generator.
Ñ 'system$list$clause'/2 will take the arguments as produced by clause/2 and pretty-list them (well kinda-pretty anyway).
- 1.0d34
Ñ Fixed a stupid omission which made1.0d33 crash on opening in a System 6 System
Ñ Command-(.) is more reliable; works even when bips are being executed exclusively.
Ñ 'beep' and 'read' do notifications from background.
Ñ Alert and dialog calls do notifications from background.
'system$start$notification'('This is a Notification Message','uh-oh').
% if the message is '', no alert is shown. If the sound is 'beep' the
%standard sound is used; otherwise the named sound will be used if found.
'system$stop$notification'.
'system$in$foreground'
%true when Open Prolog is running in the foreground.
Ñ The 'Consult Front Window' command key has been changed to B to avoid clash with Copy
Ñ A Balloon for the Open Prolog Icon on the Finder Desktop.
Ñ 'system$menu' now recognises the menu 'BalloonHelp' (case of letters is important here) as specially referring to System 7's Balloon Help Icon on the right of the menu bar. So you can add and remove menu items from here. In System 6, anything with a menu name of BalloonHelp will be ignored.
Ñ When you open an file from the Finder, Open Prolog now sets the standard file dialogs to point to the folder the file resides in.
Ñ New external predicate 'system$standard$file$directory'(OldVol,OldDirID,NewVol,NewDirID).
This returns the current volume number and directory IDs of the folder the standard file dialogs are pointing to, and sets them to NewVol and NewDirID. To check current values, use:
'system$standard$file$directory'(V,D,V,D).
Ñ Built-in predicates:
'system$get$directory'(CurrentDirectoryNumber), %note - not DirID
'system$set$directory'(NewDirectoryNumber),
'system$get$directory'(Kind,DirectoryNumber). {Kind = application or current}
Ñ Open Prolog is a bit smarter now when looking for temporary space during garbage collection. In System 7, it will use temporary memory. (Running out of space during garbage collection causes the 'out of recur space' diagnostic to appear.)
Ñ Some bugs handling large numbers of names (atoms/functors) have been removed. Better allocation of name space and more reliable warnings of unhappiness╔ Works fairly well up to 8MB of allocation.
Ñ 'system$menus' really works as described in Open Prolog Extras now(!)
- 1.0d33
1. Some bugs removed, particularly a pernicious bug whereby OP very occasionally forgot to uninstantiate a variable on backtracking.
2. trace/1 had been renamed ptrace/1 in 1.0d31 & 1.0d32. Now it's back╔
3. Opening and Printing from the desktop now implemented in System 7 only.
4. 'system$window$open$new$window' introduced & 'system$window$open$file$window' modified to work only with existing files.
5. Holding down the shift key reverses the find/search direction.
6. Undo works for error messages inserted in files by 'Show Syntax Error'.
7. Arity of 'system$menu' has changed to allow the generated menu number to be returned.
8. 'system$machine$kind'/1 (System 7 Only).
9. Some problems with locked or read-only volumes and files cured.
- 1.0d31 & 1.0d32
1. Many bugs fixed, principally sort/2 now merges identical terms, not unifiable ones as before (sometimes).
2. About 10% faster.
3. System 7 'Required' AppleEvents now supported (barely).
4. External Predicates can now see incoming events, including High Level events. Interesting possibilities for scripting, etc.
- 1.0d30
1. Print Selection works
2. Menus have been re-arranged and some tantalising new items introduced╔
3. Printing from the desktop isn't done at present. A bug giving the 'can't do'
message has been removed.
4. A bug in 'system$clause'/3, causing it to crash when gc was done in a backtrack
has been fixed.
- 1.0d29
1. Arrow keys implemented: Command-Arrows and Command-Option-Arrows.
2. Option-Return does the opposite of whatever is specified by the the auto-indent
menu selection.
3. 'system$answer$mode'(CurrentMode,NewMode) added - allowable values 'terse' and
'verbose'. 'verbose' is default.
- 1.0d28
1. Fix a bug that occurs after the 'out of recur space' diagnostic appears.
2. Add the choice between 'verbose' and 'terse' answering modes.
3. Added progress bar - look for 'system$show$progress', 'system$hide$progress',
'system$set$progress'(Numerator,Denominator) - this puts gray in the appropriate
fraction of the progress bar.
4. 'system$get$file$size'(FileName,ByteSize,Error). - An Error of 0 means OK.
'system$get$file$size'(joe,ByteSize,Error).
- 1.0d27
Behaviour in tight memory situations improved a little. Discarded use
of System 6 Multifinder Memory, instead updated to use temporary memory
gracefully under System 7.
'system$random' now works with a negative range.
- 1.0d26
1. Undo finally implemented!
2. Minor cosmetic changes to minimise junk on worksheet (further changes in d28).
3. You can add menus to Open Prolog. See 'Open Prolog Extras' for details.
4. Bug fix - a bug which crashed Open Prolog when a systen predicate was
